mathswitch — infrastructure for relaying and exchanging mathematical concepts
Query: "Noether normalization lemma"